Unifying Classical Planning Approaches
نویسندگان
چکیده
State space and plan space planning approaches have traditionally been seen as fun-damentally different and competing approaches to domain-independent planning. Wepresent a plan representation and a generalized algorithm template, called UCP, for unify-ing these classical planning approaches within a single framework. UCP models planningas a process of refining a partial plan. The alternative approaches to planning are castas complementary refinement strategies operating on the same partial plan representation.UCP is capable of arbitrarily and opportunistically interleaving plan-space and state-spacerefinements within a single planning episode, which allows it to reap the benefits of both.We discuss the coverage, completeness and systematicity of UCP. We also present somepreliminary empirical results that demonstrate the utility of combining state-space andplan-space approaches. Next, we use the UCP framework to answer the question “whichrefinement planner is best suited for solving a given population of problems efficiently?”Our approach involves using subgoal interaction analysis. We provide a generalized ac-count of subgoal interactions in terms of plan candidate sets, and use it to develop a set ofguidelines for choosing among the instantiations of UCP. We also include some prelimi-nary empirical validation of our guidelines. In a separate appendix, we also describe howthe HTN planning approach can be integrated into the UCP framework. This research is supported in part by NSF research initiation award (RIA) IRI-9210997, NSF young investi-gator award (NYI) IRI-9457634 and ARPA/Rome Laboratory planning initiative grants F30602-93-C-0039 andF30602-95-C-0247. We thank Laurie Ihrig and Amol Dattatreya Mali for helpful comments.
منابع مشابه
Universal Classical Planner: An algorithm for unifying State-space and Plan-space planning
We present a plan representation and a generalized algorithm template, called UCP, for unifying the classical plan-space and state-space planning approaches within a single framework. UCP models planning as a process of refining a partial plan. The plan-space and state-space planning approaches are cast as complementary refinement strategies operating on the same partial plan representation. UC...
متن کاملA unifying action calculus
McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. Four decades of research in this area have led to a variety of alternative formalisms: While some approaches can be considered instances or extensions of the classical Situation Calculus, like Reiter’s successor state axioms or t...
متن کاملA Unifying Algorithm for Conditional, Probabilistic Planning
Several recent papers describe algorithms for generating conditional and/or probabilistic plans. In this paper, we synthesize this work, and present a unifying algorithm that incorporates and clarifies the main techniques that have been developed in the previous literature. Our algorithm decouples the search-control strategy for conditional and/or probabilistic planning from the underlying plan...
متن کاملRefinement Planning as a Unifying Framework for Plan Synthesis
action to achieve desired goals—is an important part of intelligent agency and has thus received significant attention within AI for more than 30 years. Work on efficient planning algorithms still continues to be a hot topic for research in AI and has led to several exciting developments in the past few years. This article provides a tutorial introduction to all the algorithms and approaches to...
متن کاملUsing Refinement Search to Unify and Synthesize Classical Planners
Though domain-dependent planners can be more efficient than general-purpose planners, no flexible and straight-forward framework is available to generate them. The trend in implementing planners has been to write general-purpose planners through traditional human-intensive programming effort. This thesis presents a general method for automatically generating efficient domain-specific classical ...
متن کامل